From: Sardem FF7 <sardemff7.pub@gmail.com>
Date: Tue, 1 Feb 2011 14:44:15 +0000 (+0100)
Subject: Better API for extensions changing CSS
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~9151
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=36f3429ad2e4f2daaece1b4d94a5745972b67394;p=gnome-shell.git

Better API for extensions changing CSS

Rename the setter to reflect the fact that it's the stylesheet which is
changing

Add a getter to allow some useful checks
---

diff --git a/js/ui/main.js b/js/ui/main.js
index 1f650fed9..16f69774e 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -208,13 +208,26 @@ function start() {
 }
 
 /**
- * setTheme
+ * getThemeStylesheet:
+ *
+ * Get the theme CSS file that the shell will load
+ *
+ * Returns: A file path that contains the theme CSS,
+ *          null if using the default
+ */
+function getThemeStylesheet()
+{
+    return _css_stylesheet;
+}
+
+/**
+ * setThemeStylesheet:
  * @css_stylesheet: A file path that contains the theme CSS,
  *                  set it to null to use the default
  *
  * Set the theme CSS file that the shell will load
  */
-function setTheme(css_stylesheet)
+function setThemeStylesheet(css_stylesheet)
 {
     _css_stylesheet = css_stylesheet;
 }